Subtype polymorphism

Results: 217



#Item
21Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh

Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:25:44
22c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia

c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2009-02-03 06:51:06
23Encodings of Extensible Objects and Types Viviana Bono Dipartimento di Informatica Universit`a di Torino http://www.di.unito.it/∼bono

Encodings of Extensible Objects and Types Viviana Bono Dipartimento di Informatica Universit`a di Torino http://www.di.unito.it/∼bono

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:29:01
24Proceedings Template - WORD

Proceedings Template - WORD

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
25 A generalization of F with abstraction

 A generalization of F with abstraction

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2010-12-06 04:30:08
26Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B

Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2015-04-08 09:34:19
27F ickle : Dynamic Object Re-classi cation (Extended Abstract) ?

F ickle : Dynamic Object Re-classi cation (Extended Abstract) ?

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2000-12-13 14:57:51
28Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia

Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 1999-12-29 11:26:37
29The MVZ Collections Information Model Introduction The collections information model represents the third element in the analysis and design phase of the MVZ’s Collections Information System Re-Engineering Project. It

The MVZ Collections Information Model Introduction The collections information model represents the third element in the analysis and design phase of the MVZ’s Collections Information System Re-Engineering Project. It

Add to Reading List

Source URL: mvz.berkeley.edu

Language: English - Date: 2013-06-14 16:35:43
30Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource

Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:54:08